clopen set

闭开集